Practice-oriented courses in formal methods using VDM++
نویسندگان
چکیده
منابع مشابه
Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++
We describe the design and delivery of two courses that aim to develop skills of use to students in their subsequent professional practice, whether or not they are directly applying formal methods. Both curricula take a ``lightweight'' approach, emphasising skills in model construction and analysis by test rather than formal verification. The accessibility of the formalism is enhanced by the us...
متن کاملIntegrated Formal and Object-Oriented Methods: The VDM ++ Approach
This paper describes methods integration techniques and tools developed for the VDM formal specification language. Case studies which have been carried out for the language using tool support for the integrated development method are also described. The original features of the method are its use of highly abstract initial specifications to avoid the design bias of object-oriented structuring, ...
متن کاملReal time formal specification using VDM++
VDM++ is a formal Object Oriented Specification language, derived from VDM. lt extends VDM by providing object-orientation, real-time as well as paraUel features. The use of the language is supported by design guidelines and a too! set. The latter offers graphical representations, syntactic and semantic checking, pretty printing and code generation. ln this paper we address the handling of part...
متن کاملFormal Object-Oriented Methods
Basing software construction on formal methods is a key issue when dealing with the production of reliable programs. Formal object-oriented methods combine the advantages of objectorientation—notably its powerful modelling capabilities—and those of formal methods—such as verifiability of program properties. Our tutorial reports on the state of the art in formal objectoriented methods. The issue...
متن کامل2 A Formal Methods Case Study : Using \ light - weight " VDM for the Developmentof a Security System
This paper describes a formal methods case study in which one module of an existing security system was redeveloped using the \light-weight" Vienna Development Method supported by the IFAD Toolbox. The result is compared with the existing version in terms of eeort and quality. In this project, formal methods { even in its \light-weight" form { have increased software quality while the developme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2008
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-008-0068-5